Asymptotic Cyclic Expansion and Bridge Groups of Formal Proofs
نویسندگان
چکیده
منابع مشابه
Asymptotic Cyclic Expansion and Bridge Groups of Formal Proofs
Formal proofs, even simple ones, may hide an unexpected intricate combinatorics. We define a new combinatorial invariant, the bridge group of a proof, which encodes the cyclic structure of proofs in the sequent calculus. We compute the bridge groups of two infinite families of proofs and identify them with the Baumslag–Solitar and Gersten groups. We observe that the distortion of cyclic subgrou...
متن کاملasymptotic property of order statistics and sample quntile
چکیده: فرض کنید که تابعی از اپسیلون یک مجموع نامتناهی از احتمالات موزون مربوط به مجموع های جزئی براساس یک دنباله از متغیرهای تصادفی مستقل و همتوزیع باشد، و همچنین فرض کنید توابعی مانند g و h وجود دارند که هرگاه امید ریاضی توان دوم x متناهی و امیدریاضی x صفر باشد، در این صورت می توان حد حاصلضرب این توابع را بصورت تابعی از امید ریاضی توان دوم x نوشت. حالت عکس نیز برقرار است. همچنین ما با استفاده...
15 صفحه اولOn the asymptotic geometry of abelian-by-cyclic groups
Gromov’s Polynomial Growth Theorem [Gro81] states that the property of having polynomial growth characterizes virtually nilpotent groups among all finitely generated groups. Gromov’s theorem inspired the more general problem (see, e.g. [GdlH91]) of understanding to what extent the asymptotic geometry of a finitelygenerated solvable group determines its algebraic structure—in short, are solvable...
متن کاملcommuting and non -commuting graphs of finit groups
فرض کنیمg یک گروه غیر آبلی متناهی باشد . گراف جابجایی g که با نماد نمایش داده می شود ،گرافی است ساده با مجموعه رئوس که در آن دو راس با یک یال به هم وصل می شوند اگر و تنها اگر . مکمل گراف جابجایی g راگراف نا جابجایی g می نامیم.و با نماد نشان می دهیم. گرافهای جابجایی و ناجابجایی یک گروه متناهی ،اولین بار توسطاردوش1 مطرح گردید ،ولی در سالهای اخیر به طور مفصل در مورد بحث و بررسی قرار گرفتند . در ،م...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2001
ISSN: 0021-8693
DOI: 10.1006/jabr.2000.8700